</dd>
<!-- hide the contents while the theme engine kicks in and does the work -->
<script>document.getElementById("main").parentNode.style.display="none";</script>
<!--
  This is where your menu starts. id='menubar' is mandatory.
  Notice that there's no closing tag for this <dd>, and there's extra </dd> at the
  top of the file. This is how it should be, due to the place where this gets injected.
-->
<dd id=menubar>
<!--
  DD contains single UL which generates the whole menu. UL/LI can have a nested structure
  to create submenus.
-->
<ul>
  <li>
    <a href="https://japex.dev.java.net/#Introduction">Introduction</a>
  <li>
    <a href="https://japex.dev.java.net/#Overview">Overview</a>
  <li>
    <a href="https://japex.dev.java.net/servlets/ProjectDocumentList">Downloading</a>
  <li>
    <a href="https://japex.dev.java.net/#Resources">Resources</a>
  <li>
    <a href="https://japex.dev.java.net/#Terms">Terms and Conditions</a>  
  <li><a href="#">Support</a>
  <ul>
    <li><a href="/servlets/ProjectMailingListList">Mailing List</a>
    <!--
      The following shows how to embed something other than a link to the menu bar.
    -->
    <li><a href="/issues/">IssueTracker</a>
    <li>
      <form name="ProjectIssuesForm" method="get" action="/issues/show_bug.cgi" style="margin-left:2em">
        <input type="submit" value="Go to" /> # <input name="id" size="3" />
      </form>
  </ul>
</ul>
<!--
  Theis script determines the logo on the top-left corner of the page.
  The title is mandatory, but the logo is optional.
-->
<script>
var info = {
	title: "Japex Project",
	logo: "https://japex.dev.java.net/images/small_japex.gif"
}
</script>
<!--
  This script includes the zone definition, which determines the
  list of the "siblings" projects you see in the left navigation bar.
  Your project should be listed among one of them.
  
  This example uses the ws/xml zone, but pick up the right zone that matches your project.
-->
<script src="https://glassfish-theme.dev.java.net/zone-tools.js"></script>
<!--
  This includes the theme engine script.
-->
<script src="https://glassfish-theme.dev.java.net/theme.js"></script>

<!--
  If your project uses a site traffic tracker like Google Analytics, this is a good place
  to inject it.
-->
<!--
<script src="https://ssl.google-analytics.com/urchin.js" type="text/javascript"></script>
<script type="text/javascript">
_uacct = "UA-1273798-1";
urchinTracker();
</script>
-->